Anonymous type - PDFSEARCH.IO - Document Search Engine

Anonymous type
Results: 62

#	Item
11	Reflections on Standard ML David B. MacQueen AT&T Bell Laboratories Murray Hill NJAbstract. Standard ML is one of a number of new programming languages developed in the 1980s that are seen as suitable vehicles for Add to Reading List Source URL: sml-family.org Language: English - Date: 2016-04-04 09:33:37 Functional languages Procedural programming languages Object-oriented programming languages Data types Source code ML Lisp Programming language Macro Type safety Anonymous function HOL
12	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:54 Lambda calculus Combinatory logic Church encoding Fixed-point combinator Anonymous function Higher-order abstract syntax Type system Unification De Bruijn index Lambda calculus definition
13	sadhana manuscript No. (will be inserted by the editor) A compact kernel for the calculus of inductive constructions A. Asperti · W. Ricciotti · Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2009-02-26 11:27:55 Type theory Matita Calculus of constructions Lambda calculus Recursion Positive-definite kernel Anonymous function Metavariable HindleyMilner type system Type inference Parameter Dependent type
14	ML Partial Evaluation using Set-Based Analysis Karoline Malmkjær Nevin Heintze February 1994 Olivier Danvy Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:08 Data types Subroutines Type theory Functional languages Procedural programming languages Closure Standard ML Type system Anonymous function Partial evaluation HindleyMilner type system ML
15	simply typed λ-calculus logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:12 Lambda calculus Anonymous function Currying Simply typed lambda calculus Type theory Function Combinatory logic Partial application
16	The F# 4.0 Language Specification Note: This documentation is the specification of version 4.0 of the F# language, released inDiscrepancies may exist between this specification and the 4.0 implementation. Som Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Object-oriented programming languages Data types Parsing Type theory F Sharp Lexical analysis Type system OCaml Anonymous function Scala Type inference
17	Julia: A Fast Dynamic Language for Technical Computing Jeff Bezanson∗ MIT Stefan Karpinski† MIT Add to Reading List Source URL: karpinski.org Language: English - Date: 2016-04-13 16:19:52 Software engineering Computer programming Computing Type theory Data types Polymorphism Object-oriented programming Subroutines Covariance and contravariance Parameter Type system Anonymous function
18	Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:34 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Eval Standard ML Anonymous function HindleyMilner type system OCaml Polymorphism
19	Mostly Sound Type System Improves a Foundational Program Verifier Josiah Dodds and Andrew W. Appel Princeton University Abstract. We integrate a verified typechecker with a verified program Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2013-09-23 14:54:00 Software engineering Computing Logic Data types Functional programming Lambda calculus Type theory Logic in computer science Eval Hoare logic Anonymous function Separation logic
20	Haskell Cheat Sheet Strings This cheat sheet lays out the fundamental elements of the Haskell language: syntax, keywords and other elements. It is presented as both an executable Haskell file and a printable document. Add to Reading List Source URL: cheatsheet.codeslower.com Language: English - Date: 2013-07-22 18:47:53 Type theory Functional programming Data types Subroutines Algebraic data type Pattern matching Anonymous function Monad Main function Software engineering Computing Computer programming